CBMC_GC_FLAGS += --bool float32_add --bool float32_mul --merge
GCC_FLAGS = -O0  # with -O2 compilation takes really long
include ../make_tester.inc
